package org.wxq.bandera;

import edu.ksu.cis.bandera.ui.tcli.CommandLineInterface;
import 	edu.ksu.cis.indus.toolkits.bandera.SlicerTool;

public class SHELL {
	
	public static void main(String[] args){
		
	
/*		String dir = "D:/testcases/bandera/examples/";
		String dir = "D:/testcases/AtomicityVoilation/";
		
		
		
		
		String[] cases ={ 
			"HelloWorld/dsb.session", 					//0
			"Visualbe/FSM.session",						//1
			"Visualbe/Bogor.session",					//2
			"Visualbe/dsb.session",						//3 after slice
			"SimpleDeadlock/SimpleDeadlock.session",	//4
			"SimpleDeadlock/dsb.session",				//5
			"Visualbe/db.session",						//6	before slice (three thread)
			"HelloWorld/db.session",					//7 before slice (only one thread)
			"TwoThread/db.session",						//8 
			"TwoThread/dsb.session",					//9
			"TwoThread/dsb2.session",					//10
			"Helloworld/db2.session",					//11
			"TwoThread/dsbw.session",					//12
			"TwoThread/dbw.session",					//13
			"dsb.session"		,						//14
			"FourSlot/db.session"						//15
		};						
		
		String[] args2 = {"-S",dir+cases[9]}; */

		String srcDir = "D:/demo/AtomicityVoilation/dsb.xml";
		String[] args2 = {"-S", srcDir};
		
		try {	
			CommandLineInterface.main(args2);
			
		} catch (Exception e) {	
			e.printStackTrace();
		}	
	}
}
